Search results for "Extension principle"
showing 2 items of 2 documents
From Lattice Valued Theories to Lattice Valued Analysis
2015
We claim and justify that the future of a fuzzy logic is in the interconnection of various well-developed theories. We are focused on a lattice valued analysis that unifies the treatments of atomic elements, sets of atomic elements, functions between sets of atomic elements and their properties. We clarify the relationship between a fuzzy function and its ordinary core. We discuss the property of continuity of a fuzzy function in a lattice valued topology.
Quasivarieties of Algebras
2001
This chapter plays a twofold role in the book. Firstly, the chapter surveys basic facts about quasivarieties of algebras. These facts are widely utilised in the subsequent chapters devoted to algebraizable logics. Secondly, the chapter shows how the methods initially elaborated for protoalgebraic sentential logics in the first part can be also applied in the area of equational logic. Most of the results presented in this chapter are proved by way of adapting the purely consequential methods of sentential logic to the needs of the (quasi) equational systems associated with quasivarieties of algebras.